Informational Semantics, Non-deterministic Matrices and Feasible Deduction D'Agostino, Marcello dettagli >>	Elsevier, Proceedings of the 8th Workshop on Logical and Semantic Frameworks with applications Vol. 305, No. 1, pp: 35-52, Anno: 2014

Epistemic accuracy and subjective probability. D'Agostino, Marcello; C., Sinigaglia dettagli >>	Springer-Verlag., EPSA Epistemology and Methodology of Science pp: 95-105, Anno: 2010

Measuring Ordinal Mobility: Theory and an Application to Italy. Checchi, D.; D'Agostino, Marcello; Dardanoni, V.	SIEP, Atti della Conferenza della Società Italiana di Economia Pubblica Vol. II, No. 1, pp: 1089-1114, Anno: 2001

Un nuovo approccio alla meccanizzazione del ragionamento deduttivo D'Agostino, Marcello; Endriss, U.; Gabbay, D.; Mondadori, M.; Pitt, J.	Laterza, L'uomo e la macchina. Trent'anni dopo pp: 309-339, Anno: 2000

WinKE: A Pedagogic Tool for Teaching Logic and Reasoning D'Agostino, Marcello; Endriss, U.; Gabbay, D.; Mondadori, M.; Pitt, J.	Springer, Intelligent Tutoring Systems pp: 605-605, Anno: 1998

Fibred Tableaux for multi-implication logics D'Agostino, Marcello; Gabbay, D. M. dettagli >>	Springer, Theorem Proving with Analytic Tableaux and Related Methods Vol. 1071, No. 1, pp: 16-35, Anno: 1996

An Improvement of Analytic Tableaux D'Agostino, Marcello; Mondadori, M.	ETS, Logica e Filosofia della Scienza, Problemi e Prospettive. pp: 629-637, Anno: 1994

Proper derived rules and the relative complexity of formal proofs D'Agostino, Marcello	CLUEB, Nuovi Problemi della Logica e della Filosofia della Scienza pp: 275-282, Anno: 1991

Towards a more realistic theory of semantic information D'Agostino, Marcello; Floridi, Luciano	University of Istanbul, Handbook of the 5th World Congress and School of Universal Logic pp: 222-227, Anno: 2015

Depth-Bounded Probability Logic: A Preliminary Investigation D'Agostino, Marcello; Hosni, Hykel; Flaminio, Tommaso	University of Istanbul, Handbook of the 5th World Congress and School of Universal Logic pp: 235-236, Anno: 2015

Forecasting Accuracy and Subjective Probability D'Agostino, Marcello; C., Sinigaglia	Universidad Complutense de Madrid, First Conference of the European Philosophy of Science Association (EPSA07) pp: 70-72, Anno: 2007

Labelled analytic deduction for Normal Modal Logics D'Agostino, Marcello; D. M., Gabbay; A., Russo	Università di Firenze, LMPS95-10th International Congress of Logic, Methodology and Philosophy of Science pp: 8-9, Anno: 1995

Classical logic as the limit of a sequence of cut-bounded feasible logics D'Agostino, Marcello; M., Mondadori	University of Clermont Ferrand, Logic Colloquium 1994 pp: 18-18, Anno: 1994

Finding proofs in substructural logics K., Broda; D'Agostino, Marcello	Università di Roma "La Sapienza", Proof theory, Linear Logic and Categorial Grammar, pp: 35-36, Anno: 1994

Labelled Refutation Systems. A Case Study D'Agostino, Marcello; D. M., Gabbay	University of Marseille, Second Workshop on Theorem Proving with Analytic Tableaux and Related Methods pp: 1-5, Anno: 1993

The complexity of proof search with analytic tableaux and related systems D'Agostino, Marcello	University of Marseille, Second Workshop on Theorem Proving with Analytic Tableaux and Related Methods pp: 10-15, Anno: 1993

An Improvement of Analytic Tableaux D'Agostino, Marcello; M., Mondadori	University of Karlsruhe, First Workshop on Theorem Proving with Analytic Tableaux and Related Methods pp: 6-10, Anno: 1992

Towards theorem proving with analytic cut J., Cunningham; D'Agostino, Marcello; J., Pitt	University of Karlsruhe, First Workshop on Theorem Proving with Analytic Tableaux and Related Methods pp: 1-5, Anno: 1992

Classical Analytic Deduction and Complexity D'Agostino, Marcello; M., Mondadori	University of Uppsala, LMPS91. 9th International Congress of Logic, Methodology and Philosophy of Science pp: 20-21, Anno: 1991

Efficient Classical Refutations D'Agostino, Marcello; M., Mondadori	University of Sofia, KLEENE '90, the third logical biennal, pp: 10-11, Anno: 1990